#pragma once

#include <lk/api.h>

#define pr_debug video_printf
#define pr_notice video_printf
#define pr_err video_printf
#define printf video_printf

#define mb()   \
	{    \
		__asm__ __volatile__ ("dsb" : : : "memory"); \
	}

static inline uint32_t raw_smp_processor_id() { return 0; }